Danish mikrokernetest: tłumaczenie na inne języki